x86: Fix flush_area_mask() and on_selected_cpus() to not race updates
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 28 May 2009 09:19:15 +0000 (10:19 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 28 May 2009 09:19:15 +0000 (10:19 +0100)
commitac3fc35d919c9f031f159ed4ae2802f5b9171788
tree69b2a491829d0b7cdf5bec175b22f5eb3e112bb7
parent44c1edcdb56a802d8186bcb5e5a302189d257943
x86: Fix flush_area_mask() and on_selected_cpus() to not race updates
of the supplied cpumask (which is now passed by reference).

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/smp.c